Automatic Synchronization of Allocation Models with Running Software
نویسندگان
چکیده
Software models, source code, and deployed software are multiple views upon the same subject. These views are often created and maintained as coupled artifacts, which have to be synchronized. The synchronization can introduce inconsistencies, ultimately leading to errors in the understanding of the software. Deployment models can be derived from the running software, and model changes can be automatically applied to their origin, when the mapping between deployment models and the actual deployment follows known standards. Such an automated synchronization of models and deployed programs can decrease errors in the understanding of the deployment aspect of the software. This paper presents a prototype that derives Palladio allocation diagrams from running software based on the Java Enterprise Edition via an intermediate language. Changes in the allocation diagrams can automatically be applied to the running software. The extracted diagrams can be the base for performance simulations with the Palladio Simulator.
منابع مشابه
General form of a cooperative gradual maximal covering location problem
Cooperative and gradual covering are two new methods for developing covering location models. In this paper, a cooperative maximal covering location–allocation model is developed (CMCLAP). In addition, both cooperative and gradual covering concepts are applied to the maximal covering location simultaneously (CGMCLP). Then, we develop an integrated form of a cooperative gradual maximal covering ...
متن کاملمدل دو مرحله ای شکاف- گلچین برای نمایه سازی خودکار متون فارسی
Purpose: Each language has its own problems. This leads to consider appropriate models for automatic indexing of every language. These models should concern the exhaustificity and specificity of indexing. This paper aims at introduction and evaluation of a model which is suited for Persian automatic indexing. This model suggests to break the text into the particles of candidate terms and to c...
متن کاملConcurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars - Extended Version
Triple graph grammars (TGGs) have been used successfully to analyse correctness of bidirectional model transformations. Most recently, also a corresponding formal approach to model synchronization has been presented, where a forward propagation operation updates a source model modification from source to target, and symmetrically, a backward propagation operation takes care of updates from targ...
متن کاملAutomatic Parallel-Discrete Event Simulation
This paper describes a software enviroment devised to support parallel and sequential discrete-event simulation. It provides assistance to the user in issues such as selection of the synchronization protocol to be used in the execution of the simulation model. The software framework has been built upon the bulk-synchronous model of parallel computing. The well-defined structure of this model al...
متن کاملStudying on ARINC653 Partition Run-time Scheduling and Simulation
Avionics software is safe-critical embedded software and its architecture is evolving from traditional federated architectures to Integrated Modular Avionics (IMA) to improve resource usability. ARINC 653 (Avionics Application Standard Software Interface) is a software specification for space and time partitioning in Safety-critical avionics Real-time operating systems. Arinc653 uses two-level ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Softwaretechnik-Trends
دوره 36 شماره
صفحات -
تاریخ انتشار 2016